Suppose you could create the specification for your ideal programming language. It must be possible to implement (it can't solve undecidable problems, etc), but other than that the sky's the limit. What would you put in it (what kind of syntax, intrinsics, etc)? For what sort of applications would it be used? What other features would it have? ( Read more... )